$\vdash$  (0 $\geq$ 0 ) $\Rightarrow$ ($\exists$$r$:$\mathbb{N}$. ((($r$ $\ast$ $r$) $\leq$ 0) \& (0 $<$ (($r$+1) $\ast$ ($r$+1)))))